/*
 * File name:   reos_rc.h
 * Description: ReOS real-time operating system resource file.
 *              This file is automatically generated.
 *              Do not modify!
 * Date:        Wed Jan 29 20:58:56 MSK 2014
 */

#include "reos.h"

#ifndef __REOS_RESOURCE_HEADER__
#define __REOS_RESOURCE_HEADER__

/*
 * ReOS Interrupt handler declarations
 */

/*
 * ReOS Task declarations
 */
extern void         HighPriorityTaskFNC (void ) __attribute__((noreturn));
extern ReOS_TCB_t   HighPriorityTaskTCB;
extern ReOS_PID_t 	HighPriorityTaskPID;

extern void         MediumPriorityTaskFNC (void ) __attribute__((noreturn));
extern ReOS_TCB_t   MediumPriorityTaskTCB;
extern ReOS_PID_t 	MediumPriorityTaskPID;

extern void         LowPriorityTaskFNC (void ) __attribute__((noreturn));
extern ReOS_TCB_t   LowPriorityTaskTCB;
extern ReOS_PID_t 	LowPriorityTaskPID;



/*
 * ReOS Event declarations
 */
Evt1 - TBD
Evt2 - TBD
Evt3 - TBD


/*
 * ReOS Message declarations
 */
Msg1 - TBD
Msg2 - TBD
Msg3 - TBD


#endif /* __REOS_RESOURCE_HEADER__ */
